5 Limitations of Nonstrict Positive Free Logic

Modern Logic, forthcoming. 9. K. Lambert, editor. Philosophical Applications of Free Logic. Oxford University Press, Oxford, 1991. 10. Karel Lambert. Nonextensionality. In W. Lenzen, editor, Festschrift fur Franz von Kutschera. de Gruyter, Berlin, 1997. 11. Karel Lambert and Bas van Fraassen. Derivation and Counterexample: An Introduction to Philosophical Logic. Dickenson, Encino, CA, 1972. 12. Hugues Leblanc. Truth-Value Semantics. North Holland, Amsterdam, 1976. 13. Dana S. Scott. Existence and description in formal logic. In R. Schoenmann, editor, Bertrand Russell, Philosopher of the Century, pages 181{200. Allen and Unwin, London, 1967. Reprinted in [9]. 14. Dana S. Scott. Advice on modal logic. In K. Lambert, editor, Philosophical Problems in Logic, pages 143{173. Reidel, Dordrecht, 1970. 15. Dana S. Scott. Identity and existence in intuitionistic logic. In M. P. Fourman, C. J. Mulvey, and D. S. Scott, editors, Applications of sheaves : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, volume 753 of Lecture Notes in Mathematics, pages 660{696. Springer, Berlin, 1979. 16. Simon Thompson. A logic for Miranda. Formal Aspects of Computing, 1:339{365, 1989. 17. A. S. Troelstra and D. van Dalen. Constructivity in Mathematics, volume I. North-Holland, Amsterdam, 1988. 18. Wladyslaw M. Turski and Thomas S. E. Maibaum. The Speci cation of Computer Programs. Addison-Wesley, Workingham, England, 1987.